Henri Poincaré - PDFSEARCH.IO - Document Search Engine

Henri Poincaré
Results: 125

#	Item
11	Formalizing category theory in type theory Benedikt Ahrens Semantics of proofs and certified mathematics Institut Henri Poincaré Add to Reading List Source URL: benedikt-ahrens.de Language: English - Date: 2014-05-06 15:17:31
12	EMANI Meeting : April 4-5, 2003 Institut Henri Poincaré, Paris, France Add to Reading List Source URL: www.emani.org Language: English - Date: 2003-08-05 08:40:57
13	Protocol Insecurity with a Finite Number of Sessions and Composed Keys is NP-complete∗ Michaël Rusinowitch and Mathieu Turuani LORIA-INRIA- Université Henri Poincaré, 54506 Vandoeuvre-les-Nancy cedex, France email:{ Add to Reading List Source URL: www.loria.fr Language: English - Date: 2003-03-20 10:40:14
14	Séminaire Nicolas Bourbaki Institut Henri Poincaré (Amphithéâtre Hermite) 11 rue Pierre et Marie Curie, 75005 PARIS Add to Reading List Source URL: www.bourbaki.ens.fr Language: French - Date: 2015-04-13 13:33:41
15	Séminaire Nicolas Bourbaki Institut Henri Poincaré (Amphithéâtre Hermite) 11 rue Pierre et Marie Curie, 75005 PARIS Add to Reading List Source URL: www.bourbaki.ens.fr Language: French - Date: 2015-04-13 13:33:27
16	GÉOMÉTRIE ET ANALYSE DES REPRÉSENTATIONS DE GROUPES DE SURFACE INSTITUT HENRI POINCARÉ, 3 JANVIER-30 MARS 2012 Workshops Semaine introductive, 3-11 jan. Add to Reading List Source URL: www.ihp.fr Language: French - Date: 2011-04-07 08:59:14
17	Séminaire Nicolas Bourbaki Institut Henri Poincaré (Amphithéâtre Hermite) 11 rue Pierre et Marie Curie, 75005 PARIS Add to Reading List Source URL: www.bourbaki.ens.fr Language: French - Date: 2015-06-12 10:44:19
18	Programme de la Rencontre des jeunes chercheurs africains en France Institut Henri Poincaré, 20 et 21 novembre Sessions Add to Reading List Source URL: www.scienceafrique.fr Language: French - Date: 2014-12-19 11:28:54
19	Étude et instances de systèmes de preuves ordonnées École Jeunes Chercheurs en Programmation Guillaume Burel LORIA – Université Henri Poincaré Encadrant : Claude Kirchner Add to Reading List Source URL: www.ensiie.fr Language: French - Date: 2015-01-06 05:28:59
20	Distinguished Lecture Professor Cédric Villani Cédric Villani is a professor of mathematics at Université de Lyon and the director of Institut Henri Poincaré in Paris. Add to Reading List Source URL: math.ipm.ac.ir